Towards operational natural language
نویسنده
چکیده
The multiplicity of software projects’ stakeholders and activities leads to the multiplicity of software specification views and thus creates the need to establish mutual consistency between them. The process of establishing such consistency is error-prone and requires adequate tool support. The present article introduces specogramming – an approach that treats a modern object-oriented integrated development environment as a word processor. The approach turns the process of documenting initial specifications into a simplified form of programming and turns structured-natural-language specifications into runnable programs that yield multiple consistent-by-construction views, one of which is structured natural language.
منابع مشابه
Towards a Mathematical Operational Semantics
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one get...
متن کاملTowards a comprehensive medical language processing system: methods and issues
Natural language processing (NLP) systems can help solve the data entry problem by providing coded data from textual reports for clinical applications. A number of NLP systems have shown promise, but have not yet achieved wide-spread use for practical applications. In order to achieve such use, a system must have broad coverage of the clinical domain and not be restricted to limited application...
متن کاملSyntax and Selmantics of PRETSEL-A Specification Language for Parallel Real-Time Systems*
For many real-time applications (e.g. Command, Control, and Communications), parallel computers offer a natural computing platform. However, very little attention has been paid to the specification requirements of real-time systems implemented on parallel machines. Towards this end, we propose a specijlcation language PRETSEL (Parallel REal-Time SpEcification Language). The PRETSEL specificatio...
متن کاملAlternative Phrases And Natural Language Information Retrieval
This paper presents a formal analysis for a large class of words called alternative markers, which includes other(than), such(as), and besides. These words appear frequently enough in dialog to warrant serious attention, yet present natural language search engines perform poorly on queries containing them. I show that the performance of a search engine can be improved dramatically by incorporat...
متن کاملMethodology and Software Development for Application in Information Science
Introduction The present activity of CETIS in the field of scientific information and documentation is directed towards using experience in information science to create operational systems. By 1970 three such systems appeared to be well enough defined to warrant starting intensive implementation: 1. A generalized software package and programming language for natural-language processing (SLC-II...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1711.06518 شماره
صفحات -
تاریخ انتشار 2017